DEF=nondet
EXT=nondet
TESTDIR=.
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module NONDET

include ../../../include/kframework/ktest.mak
